GRASP/Ada 95: Visualization with Control Structure Diagrams

نویسندگان

  • Kai H. Chang
  • Dean Hendrix
چکیده

The Graphical Representations of Algorithms, Structures, and Processes for Ada (GRASP/Ada) project has successfully created and prototyped a new algorithmic level graphical representation for Ada software, the Control Structure Diagram (CSD). The primary impetus to create and refine the CSD is to improve the comprehension efficiency of Ada software, and as a result, improve reliability and reduce costs. The emphasis is on the automatic generation of the CSD from Ada 95 source code to support design, implementation, testing, and maintenance. The CSD has the potential to replace traditional pretty-printed Ada source code. An important additional focus of the GRASP/Ada 95 project is on the generation of a new fine-grained complexity metric called the Complexity Profile Graph (CPG), which will be synchronized with the CSD to provide both visualization and measurement of Ada 95 source code. By synchronizing the CSD and the CPG, the CSD view of control structure, nesting, and source code will be directly linked to the corresponding visualization of statement level complexity in the CPG. In this article, an overview of the GRASP/Ada 95 project at Auburn University is presented with emphasis on the Control Structure Diagram and the current prototype.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Graphical Representations of Algorithms, Structures, and Processes Grasp/ada 95 Reverse Engineering Tools for Ada Final Report for Table of Contents

The GRASP/Ada project (Graphical Representations of Algorithms, Structures, and Processes for Ada) has successfully created and prototyped an algorithmic level graphical representation for Ada software, the Control Structure Diagram (CSD), and a new visualization for a fine-grained complexity metric called the Complexity Profile Graph (CPG). By synchronizing the CSD and the CPG, the CSD view of...

متن کامل

Visualization and Measurement of Source Code

The GRASP (Graphical Representations of Algorithms, Structures, and Processes) project, which has successfully prototyped a new algorithmic-level graphical representation for software—the control structure diagram (CSD)—is currently focused on the generation of a new fine-grained complexity metric called the complexity profile graph (CPG). The primary impetus for creation and refinement of the ...

متن کامل

ClawZ: Control Laws in Z

ClawZ is a prototype tool whose objective is to link the Simulink control engineering tool, from MathWorks, with the dialect of Z. It provides a bridge between the use of Simulink to define control law diagrams and a tool to formally prove compliance between Ada and Z. The tool has been used as part of the formal proof of a Non-linear Dynamic Inversion flight control system comprising 37 pages ...

متن کامل

Visualization Methods for Sharing Knowledge Pieces and Relationships Based on Biological Models

We study visualization methods for sharing knowledge pieces and relationships. Our purpose is to grasp informational structures readily. We develop algorithms based on a flocking model which simulates birds or fishes behavior in making a group. We implement two visualization systems for aesthetically draw diagrams of weak and strong structures (i.e. clusters and graphs). We evaluate performance...

متن کامل

Experimental Visualization of Labyrinthine Structure with Optical Coherence Tomography

Introduction:Visualization of inner ear structures is a valuable strategy for researchers and clinicians working on hearing pathologies. Optical coherence tomography (OCT) is a high-resolution imaging technology which may be used for the visualization of tissues. In this experimental study we aimed to evaluate inner ear anatomy in well-prepared human labyrinthine bones.Materials and Methods:Thr...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013